BibTeX Data
List of Journal Abbreviations
@InProceedings{Tru_j2005_a,
author = {Bianca~Truthe},
title = {A Method for Deciding the Finiteness of
Synchronous, Tabled Picture Languages},
booktitle = {Automata and Formal Languages -- 11th
International Conference AFL 2005,
Dobog\'ok\H{o}, Hungary, May 17--20, 2005,
Proceedings},
year = {2005},
editor = {Zolt\'an~Esik and Zolt\'an~F{\"u}l{\"o}p},
OPTmonth = {May},
OPTaddress = {Szeged, Hungary},
publisher = {Institute of Informatics, University of Szeged, Hungary},
volume = {},
pages = {292--305},
url = {http://theo.cs.uni-magdeburg.de/pubs/papers/truthe_stol_e.pdf}
}